KEMUKJIZATAN PSIKOLOGI ALQURAN JAMAAH MAJELIS TAKLIM (Studi Kasus di Kecamatan Bogor Selatan Bogor)

Analisis dan Perancangan Wireless Roaming (Studi Kasus Universitas Baturaja)

Wireless roaming is one way to improve the reliability of a network of hotspots that are still using the topology Basic Service Set (BSS). When the user walks away from one access point (AP) or one AP die then begins to lose the signal, the mobile station (MS) is automatically connected with the AP to another without reconfiguring. Devices that support wireless roaming is the AP TP-Link TL-WR74...

Università degli Studi di Siena

THE EASST NEWSLETTER Bogor: An Extensible Framework for Domain-Specific Model Checking

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Università Degli Studi Di Perugia

A Support Vector Machine (SVM ) is a powerful classifier method, already used in many problems, which can be viewed as a learning problem bringing to a convex optimization. In recent years, a considerable attention has been given on semisupervised learning, differing from traditional supervised learning by making use of unlabeled data. In fact, in many applications, labeling examples may cost l...

Università degli Studi di Bologna